.pcode-outer {
  padding: 20px;
  padding-top: 50px;
}

ngx-monaco-editor {
  height: calc(100vh - 100px);
  width: 100%;
}

.stacktag {
  margin: 0 2px;
  padding-left: 10px;
  padding-right: 10px;
  font-size: 20px;
  text-align: center;
  border-width: 1px;
  border-color: black;
  border-style: solid;
  border-radius: 2px;
}

.tag-modified {
  background-color: rgb(248, 248, 197);
}
.tag-fetched {
  background-color: rgb(172, 218, 247);
}
.tag-base {
  font-weight: bold;
  border-width: 2px;
}
.tag-removed {
  background-color: rgb(255, 211, 218);
}
.tag-created {
  opacity: 0.15;
  background-color: rgb(192, 253, 192);
}

button {
  margin-right: 16px;
}
nz-card {
  margin-bottom: 5px;
}

